三値論理 (不定 I)